Set Theory Proof (A